<html>
  <head>
    <title>page4</title>
  </head>
  <body onload="document.getElementById('downloadLink').focus();">
    <a id="downloadLink" href="downloadable.tar.gz">download</a>
  </body>
</html>
